$\forall$$R$:Realizer, $z$, $i$:Id. R{-}occurs($R$;$i$;$z$) $\Rightarrow$ R{-}has{-}loc($R$;$i$)